﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Pex.Framework;
using Microsoft.Pex.Framework.Goals;

namespace MicroBenchmarks.NestedPUT
{
    [PexClass(typeof(ConstTester))]
    [PexMe.Attribute.FieldAccessObserver]
    [PexMe.Attribute.InsufficientObjectFactoryObserver]
    public partial class ConsTesterTest
    {
        [PexAssertReachEventually]
        [PexMethod]
        public void TestConstructor([PexAssumeUnderTest]ConstTester cons)
        {
            if(cons.BTest > 10)
                PexAssert.ReachEventually();
        }
    }
}
